4effa2d932e470193ec28ec0be7efdca5122ae46,jkind/src/jkind/engines/pdr/PdrSubengine.java,PdrSubengine,PdrSubengine,#String#Specification#boolean#String#PdrEngine#Director#,44

In pattern: SUPERPATTERN

Frequency: 3

Non-data size: 3


Instances


1476114876
andrew.gacek@gmail.com
agacek/jkind,4effa2d932e470193ec28ec0be7efdca5122ae46,jkind/src/jkind/engines/pdr/PdrSubengine.java,PdrSubengine,PdrSubengine,#String#Specification#boolean#String#PdrEngine#Director#,44


1476114876
andrew.gacek@gmail.com
agacek/jkind,4effa2d932e470193ec28ec0be7efdca5122ae46,jkind/src/jkind/engines/Director.java,Director,handleMessage,#InvalidMessage#,311


1476114876
andrew.gacek@gmail.com
agacek/jkind,4effa2d932e470193ec28ec0be7efdca5122ae46,jkind/src/jkind/engines/pdr/PdrSubengine.java,PdrSubengine,PdrSubengine,#String#Specification#boolean#String#PdrEngine#Director#,44


1476114876
andrew.gacek@gmail.com
agacek/jkind,4effa2d932e470193ec28ec0be7efdca5122ae46,jkind/src/jkind/engines/Director.java,Director,convertInductiveCounterexamples,#,470